-
1 definition by contraposition
Большой англо-русский и русско-английский словарь > definition by contraposition
-
2 definition by contraposition
Математика: определение через противоположениеУниверсальный англо-русский словарь > definition by contraposition
-
3 contraposition
2) противоположение, противоположность3) матем. противопоставление, антитеза•law of contraposition — закон ложного положения, закон контрапозиции
-
4 definition
1) определение, дефиниция, формулировка2) ясность, понятность3) чёткость, резкость ( изображения)•definition by abstraction — матем. определение путём абстракции
definition by contraposition — матем. определение через противоположение
definition by correlation — матем. определение через корреляционное отношение
definition by induction — матем. определение по индукции
definition by recursion — матем. рекурсивное определение
-
5 определение через противоположение
Большой англо-русский и русско-английский словарь > определение через противоположение
-
6 определение через противоположение
Mathematics: definition by contrapositionУниверсальный русско-английский словарь > определение через противоположение
См. также в других словарях:
Contraposition (traditional logic) — In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality… … Wikipedia
Contraposition — For contraposition in the field of traditional logic, see Contraposition (traditional logic). For contraposition in the field of symbolic logic, see Transposition (logic). Contraposition is a logical relationship between two propositions, or… … Wikipedia
Contraposition — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
Transposition (logic) — In the methods of deductive reasoning in classical logic, transposition is the rule of inference that permits one to infer from the truth of A implies B the truth of Not B implies not A , and conversely . [Brody, Bobuch A. Glossary of Logical… … Wikipedia
LOI (épistémologie) — Le nom français «loi» tire son étymologie du mot latin lex . L’adjectif français «nomologique», qui désigne la propriété d’être une loi, tire son étymologie du mot grec nomos (qui signifie loi). À quel genre d’entité attribue t on cette… … Encyclopédie Universelle
Calcul des séquents — En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen[1],[2]. Le nom de ce formalisme fait référence à un style particulier de déduction qui… … Wikipédia en Français
Contraposée — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
Contraposée (mathématiques élémentaires) — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
Modus tollens — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
Proposition contraposee — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
Proposition contraposée — La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en déduire la négation de l… … Wikipédia en Français